AbstractAlgebra.Generic.Frac{Nemo.QQMPolyRingElem}[k2, k4, r1, k3, r3, x3*k1, k1*x2, k1*x1, k*x3, T0*k1]
